//
// ACPI support.
//

extern UINT32 BlAcpiNumberOfProcessors;
extern PVOID BlAcpiRsdpAddress;

VOID BlAcpiInitialize(VOID);

VOID BlAcpiResetSystem(VOID);

